|
|
Algorithmic Generation of Esthetical Rhytmical Sequences
Mahnert, Jakub ; Klepárník, Petr (referee) ; Beran, Vítězslav (advisor)
The goal of this project is to design and implement a system, suited for proving or disproving the claim that it is possible to generate unique rhythmical sequences, which a human will perceive as aesthetical. In the project, a framework, aiding the design of such algorithms that create rhythmical sequences using composition was implemented. On top of it, several such algorithms were implemented with the notion to test their performance using a custom testing front end solution. From the gained data, the project tries to find correlations between the aspects of the algorithms with the resulting perceived aesthetical value as well as attempt to answer the initial conundrum.
|
|
|
Reactive Programming in iOS Applications
Kříž, Matyáš ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
iOS development is built on asynchronous calls and parallelism. Keeping the asynchronous code clear and consise becomes increasingly more difficult with the size of an application. Multiple methodologies emerged to combat this problem. One of them is the reactive programming methodology. In my thesis I focused on creating a reactive methodology inspired by the core ReactiveX concepts with a simpler, more streamlined implementation.
|
|
|
Design and Implementation of Generic VoIP Exchange Using Functional Programming
Kidoň, Marek ; Ryšavý, Ondřej (referee) ; Matoušek, Petr (advisor)
This thesis deals with the design and implementation of generic exchange. As an implementation language was selected Erlang mainly because of its positive features with respect to a telephony software. Thesis also talks about declarative programming, Erlang language, its particular properties, advantages and disadvantages. The resulting software is called the Generic Exchange and its funcionallity is demonstrated on a few simple examples. In the end of the thesis are summarized the results and Generic Exchange design is compared with the design of Asterisk exchange.
|
|
|
Application Development Framework for Peer-to-Peer Collaboration
Hrdina, Jan ; Očenášek, Pavel (referee) ; Rychlý, Marek (advisor)
The thesis deals with the design and implementation of the application framework for the creation of collaborative web editors that enable peer-to-peer collaboration in real time. The thesis summarizes existing approaches for data replication, from which M. Kleppmann's CRDT (conflict-free replicated data type) for JSON is chosen as the most suitable. Using the resulting framework, the created content can be safely shared in groups of peers, where each member can be assigned different permissions. Own communication protocols based on WebRTC, WebSocket and WebCrypto are designed and implemented for P2P connection establishment and subsequent communication. The framework allows to resolve conflicts and work independently without an Internet connection. For a consistent user experience, the library includes a set of user interface elements for managing friends, groups, and other common tasks. The framework is implemented using functional design patterns implemented in the ReasonML language. The functionality of the result is verified by creating an example application of the mind map editor.
|
|
|
Typed Functional Genetic Programming
Křen, Tomáš ; Pudlák, Petr (advisor) ; Kubalík, Jiří (referee)
In this thesis is presented design and implementation of a system performing genetic programming in simply typed lambda calculus. Population initialization method based on term generating technique producing typed lambda terms in long normal form is introduced. This method is parameterized by simple search strategy. Several search strategies are presented, such as strategy for systematic generation or strategy corresponding to standard ramped half-and-half method. Another such a strategies called \textit{geometric} strategy is further examined in experiments and shown to have various desirable effects such as improved success rate, lesser time consumption and smaller average term size in comparison with standard ramped half-and-half generating method. Other performance enhancements are proposed and supported by experiments such as eta-normalization of generated individuals and @-tree representation of individuals. Abstraction elimination is utilized to enable use of simple tree- swapping crossover. Powered by TCPDF (www.tcpdf.org)
|
|
|
Automated GUI Generation for functional data structures
Podloucký, Martin ; Pergl, Robert (advisor) ; Hric, Jan (referee)
This thesis addresses the problem of automated graphical user interface generation for functional programs. First an analysis of current state in the field of automated GUI generation is performed. Based on the analysis the concept of Functionally Structured User Interface (FSUI) is introduced. Meta-data system for code annotation is then specified for the Clojure programming language and a transformation from this system to FSUI data model is implemented. Finally a graphical layer for displaying the actual interface is implemented in Clojure. Benefits of this approach are demonstrated by proof-of-concept case study.
|
|
|
Recommender systems for the recipes domain
Starýchfojtů, Josef ; Peška, Ladislav (advisor) ; Bernhauer, David (referee)
Recommender systems are now part of our daily life more than ever. We use them through several platforms, like music or video players. As users of such systems, we don't need to actively seek for new content, but let it be comfortably recommended to us instead. One area not covered this way is domain of recipes. In order to cook a recipe, we have to search for some cookbook and find the recipe there, then go shopping for it and only then cook it. Usually there is not a perfect match between the recipe content and the content of our shopping basket, which makes the process even more unpleasant. Main goal of this work is to introduce such platform into this domain. Firstly to research the application of recommender systems in recipe domain, suggestion of several methods and their verification. Then also to introduce these algorithms in real product in form of mobile application, which will accompany the user when shopping and choosing a recipe. 1
|
|
|
Application Development Framework for Peer-to-Peer Collaboration
Hrdina, Jan ; Očenášek, Pavel (referee) ; Rychlý, Marek (advisor)
The thesis deals with the design and implementation of the application framework for the creation of collaborative web editors that enable peer-to-peer collaboration in real time. The thesis summarizes existing approaches for data replication, from which M. Kleppmann's CRDT (conflict-free replicated data type) for JSON is chosen as the most suitable. Using the resulting framework, the created content can be safely shared in groups of peers, where each member can be assigned different permissions. Own communication protocols based on WebRTC, WebSocket and WebCrypto are designed and implemented for P2P connection establishment and subsequent communication. The framework allows to resolve conflicts and work independently without an Internet connection. For a consistent user experience, the library includes a set of user interface elements for managing friends, groups, and other common tasks. The framework is implemented using functional design patterns implemented in the ReasonML language. The functionality of the result is verified by creating an example application of the mind map editor.
|
|
|
Reactive Programming in iOS Applications
Kříž, Matyáš ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
iOS development is built on asynchronous calls and parallelism. Keeping the asynchronous code clear and consise becomes increasingly more difficult with the size of an application. Multiple methodologies emerged to combat this problem. One of them is the reactive programming methodology. In my thesis I focused on creating a reactive methodology inspired by the core ReactiveX concepts with a simpler, more streamlined implementation.
|
|
|
Functional Programming in Java
VYSOCKÝ, Milan
The aim of this bachelor thesis is to introduce functional (declarative) programming with all its main features in the theoretical and practical part, analyze its implementation and compare it with object oriented (imperative) programming. The theoretical part is focused on functional programming, where its basic principles will be clarified, implementation in Java and why this programming paradigm was developed. Using relatively new language features, i.e. lambda expressions, streams, default methods, functional interfaces, whose implementation among other things, will be analyzed, will be introduced the possibilities of functional programming in Java. By comparing functional programming and object-oriented programming, the advantages and disadvantages of each approach are considered. In the practical part of the bachelor thesis there are programmed several practical examples documenting the possibility of using all the language features mentioned above.
|
guest ::
